tools-console-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:46:54 +0000 (11:46 +0200)
committerIan Jackson <ian.jackson@citrix.com>
Fri, 11 Nov 2016 15:21:05 +0000 (15:21 +0000)
commite136f7aad1024c9a3d8c0493635a108a3a6a439b
tree8011cf5e233fda799e035a8b5383a5b382ec6e2b
parent8b2899c38634b11d336a20db2f19578e80de8b58
tools-console-prefix.diff

Patch-Name: tools-console-prefix.diff

Gbp-Pq: Name tools-console-prefix.diff
tools/console/Makefile